6,922 research outputs found
Replacing All Property Taxes: An Analysis of Revenue Issues - Brief
This brief discusses the amount of revenue needed to replace all the property taxes in Georgia. FRC Brief 17
Testing the stability of the benefit transfer function for discrete choice contingent valuation data
We examine the stability of the benefit transfer function across 42 recreational forests in the British Isles. A working definition of reliable function transfer is put forward, and a suitable statistical test is provided. The test is based on the sensitivity of the model log-likelihood to removal of individual forest recreation sites. We apply the proposed methodology on discrete choice contingent valuation data and find that a stable function improves our measure of transfer reliability, but not by much. We conclude that, in empirical studies on transferability, function stability considerations are secondary to the availability and quality of site attribute data. Modellersâ can study the advantages of transfer function stability vis-Ă -vis the value of additional information on recreation site attributes
A Framework for Program Development Based on Schematic Proof
Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be implemented in logical frameworks that support this kind of proof construction and that such an implementation can unify program verification and synthesis. Our proposal is illustrated with a worked example developed in Paulson's Isabelle system. We also give examples of existent calculi that are closely related to the methodology we are proposing and others that can be profitably recast using our approach
- âŠ